Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮)

Source URL: eta.impa.br

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Automorphic forms
• Moduli space
• Hitchin system
• Stack
• Langlands program
• Drinfeld module
• Fundamental lemma
• ArthurSelberg trace formula

An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017 An adequacy theorem for partial type theory

Source URL: www.cse.chalmers.se

E6(6) Exceptional Field Theory: Applications to Type IIB Supergravity on AdS5 ×S5 Arnaud Baguet ´ Ecole Normale Sup´

Source URL: www.ccsem.infn.it

Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type Theory

Source URL: www.cse.chalmers.se

Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester,

Source URL: www1.maths.leeds.ac.uk

Modelling Cubical Type Theory in Agda

Source URL: hott-uf.gforge.inria.fr

Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015

Source URL: www1.maths.leeds.ac.uk

Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.io

Source URL: hott-uf.gforge.inria.fr

Activity report of Sakir Ayik while he was visiting GANIL with FUSTIPEN support The self-consistent mean-field theory, also known as TDHF, by employing Skyrme-type effective interactions, has been very successful for de

Source URL: fustipen.ganil.fr

2009 IEEE Information Theory Workshop Mutual Information and Posterior Estimates in Channels of Exponential Family Type Maxim Raginsky

Source URL: maxim.ece.illinois.edu